Osnove veštačke inteligencije
Vrsta: Skripta  Broj strana: 148

 

Sadržaj z
1 Poglavlje 1 - veˇtaˇka inteligencija, istorijski razvoj i uvod s c 1.1 Definicija i oblasti bavljenja VI . . . . . . . . . . . . . . . . . 1.2 Kratak uspon i pad, zatim renesansa . . . . . . . . . . . . . . 1.3 Oblasti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 6 8 9
2 Poglavlje 2 - Predstavljanje problema 11 2.1 Pojam problema . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2 Reˇavanje problema, uopˇteni koraci . . . . . . . . . . . . . . 11 s s 2.3 Notacije, naˇini reprezentovanja . . . . . . . . . . . . . . . . . 12 c 2.4 Modeli grafova u VI . . . . . . . . . . . . . . . . . . . . . . . . 13 2.4.1 Reprezentovanje znanja u automatskom reˇavanju problema 14 s 2.4.2 Grafiˇko reprezentovanje znanja u automatskom reˇavanju c s problema . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.4.3 Grafiˇka reprezentacija i prirodni jezik . . . . . . . . . 18 c 2.5 Traˇenje pravog reprezentovanja . . . . . . . . . . . . . . . . . 18 z 2.6 Programski jezici PROLOG i LISP . . . . . . . . . . . . . . . 19 2.7 Grafovi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.7.1 Petri-mreˇe . . . . . . . . . . . . . . . . . . . . . . . . 20 z 3 Formalni sistemi - deklarativno znanje i zakljuˇivanje c 23 3.1 Definicija formalnih sistema . . . . . . . . . . . . . . . . . . . 23 3.2 Iskazni raˇun i predikatski raˇun prvog reda . . . . . . . . . . 25 c c 3.3 Zakljuˇivanje . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 c 4 Rezolucija 4.1 Klauzalna forma . . . . . . . . . . 4.2 Unifikacija . . . . . . . . . . . . . . 4.3 Princip rezolucije . . . . . . . . . . 4.4 Rezolucija i jednakost . . . . . . . . 4.5 Strategije rezolucije . . . . . . . . . 4.5.1 Strategije brisanja . . . . . 4.5.2 Jediniˇna rezolucija . . . . . c 4.5.3 Ulazna rezolucija . . . . . . 4.5.4 Linearna rezolucija . . . . . 4.5.5 Rezolucija skupom podrˇke s 4.5.6 Ured ¯ena rezolucija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 30 31 32 34 35 35 36 36 36 36 37
2 4.5.7 4.5.8
Seminarski rad Usmerena rezolucija . . . . . . . . . . . . . . . . . . . 37 Sekvencijalno zadovoljenje uslova . . . . . . . . . . . . 37
5 Zakljuˇivanje sa nesigurnim uverenjima i drugi naˇini zakljuˇivanja 38 c c c 5.1 Nemonotono zakljuˇivanje . . . . . . . . . . . . . . . . . . . . 38 c 5.2 Taksonomijske hijerarhije i pretpostavljeno zakljuˇivanje (default c reasoning) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 5.3 Indukcija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 5.4 Verovatnosno zakljuˇivanje . . . . . . . . . . . . . . . . . . . . 43 c 5.5 Jedno formalno zasnivanje verovatnosne logike . . . . . . . . . 46 5.6 Znanja i uverenja . . . . . . . . . . . . . . . . . . . . . . . . . 48 5.6.1 Iskazna logika uverenja . . . . . . . . . . . . . . . . . . 48 5.7 Meta-znanje i meta-zakljuˇivanje . . . . . . . . . . . . . . . . 51 c 6 Stanje i akcije 6.1 Stanja . . . . . 6.2 Akcije . . . . . 6.3 Problem okvira 6.4 Redosled akcija 6.5 Uslovljenost . . 56 56 57 58 59 61 64 64 64 64 66 67 67 68 69 70 70 72 72 75

---------- CEO RAD MOŽETE PREUZETI NA SAJTU. ---------- 

www.maturski.org 

 

MOŽETE NAS KONTAKTIRATI NA E-MAIL: [email protected]